Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
نویسندگان
چکیده
منابع مشابه
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable to capture sequence dependent dynamic behaviour. Pandora introduces temporal gates and temporal laws to fault trees to allow sequence-dependent dynamic analysis of events. Pandora can be easily integrated in model-based design and analysis techniques;...
متن کاملModeling Fault Trees Using Petri Nets
The paper presents an approach to safety analysis with the use of Fault Trees. The aim is to provide for more precise analysis of timing dependencies between the events of a tree. A Fault Tree is first represented formally and then converted into a time Petri net. The reachability analysis of the net provides the answer if the hazard can actually occur. The approach is illustrated by an example.
متن کاملFault Analysis Using Petri Nets
The paper describes the specification method for dependable systems, called Transnet. The method offers a formal notation for describing the software structure, the means for defining safe and unsafe states and techniques for the software simulation and analysis. The modeling process is based on an extension to Petri nets, which enables the modeler to represent control as well as data processin...
متن کاملQuantitative evaluation of UML state machines using stochastic Petri nets
Todays technical systems tend to be very complex and usually are embedded in an asynchronous, concurrent, and distributed world. Besides the functional correctness of a system the observation of aspects like dependability, reliability, and timeliness becomes mandatory. Cost-awareness plays also an important role. It is desirable to detect incorrect and inefficient behavior in the very early sta...
متن کاملFault Diagnosis Based on Bayesian Petri Nets
This paper provides a kind of Bayesian Petri net model and presents a fault diagnosis method for power grid based on this model. Firstly, the BPN models for each component are established in power cut area separately, according to the fault spread directions. Secondly, the failed component is determined by the application of Petri net reasoning and Bayesian probability calculation. At last, the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.09.569